Received: from virtual.bbc.co.uk (virtual.bbc.co.uk [132.185.132.199])
by odie.barnet.ac.uk (8.8.6/8.8.6) with ESMTP id RAA10141
for <willy@odie.barnet.ac.uk>; Mon, 18 May 1998 17:53:52 +0100
Received: from nic.funet.fi (nic.funet.fi [128.214.248.6])
by virtual.bbc.co.uk (8.8.5/8.8.5) with ESMTP id RAA11656
for <willy@bofh.ai>; Mon, 18 May 1998 17:53:55 +0100 (BST)
Received: from vger.rutgers.edu ([128.6.190.2]:39698 "EHLO vger.rutgers.edu" ident: "root") by nic.funet.fi with ESMTP id <2769-14987>; Mon, 18 May 1998 19:53:40 +0300
Received: by vger.rutgers.edu id <970990-231>; Mon, 18 May 1998 12:52:58 -0400
Received: from gatekeeper.prl.philips.co.uk ([193.129.162.20]:3904 "EHLO gatekeeper.prl.philips.co.uk" ident: "SOCKWRITE-65") by vger.rutgers.edu with ESMTP id <974082-231>; Mon, 18 May 1998 12:52:45 -0400
Received: by gatekeeper.prl.philips.co.uk; id SAA19510; Mon, 18 May 1998 18:52:20 +0100 (BST)
Received: from prlhp1.prl.research.philips.com(130.141.10.82) by gatekeeper.prl.philips.co.uk via smap (V3.1.1)
id xma019481; Mon, 18 May 98 18:51:54 +0100
Received: from prsun11 by prlhp1.prl.research.philips.com; Mon, 18 May 1998 17:55:49 +0100
Received: from marketto.demon.co.uk (herrena [130.141.143.176])
by prl.research.philips.com (8.8.7/prsun11) with ESMTP id RAA23625
for <linux-arm@vger.rutgers.edu>; Mon, 18 May 1998 17:52:37 +0100 (BST)